[[Glossary of categories]]
# Category of monoids
The category of monoids $\cat{Mon}$ is a category where an object is a [[Monoid]] and morphism is a [[Monoid homomorphism]].
Viewing [[Monoids as categories]], it follows that $\cat{Mon}$ is a restricted version of $\Cat$.


#
---
#state/develop | #SemBr